<body>Builders which create parts of <code>JavaFile</code>s.</body>